<?php session_start();
if (!isset($_SESSION["empleado"])){
   
   echo "<script>top.location.href = 'index.php'</script>";
    
}else{
    echo "<script>top.location.href = 'principal.php'</script>";
}

?>
